Definability under Duality
نویسنده
چکیده
It is shown that if A is an analytic class of separable Banach spaces with separable dual, then the set A∗ = {Y : ∃X ∈ A with Y ∼= X∗} is analytic. The corresponding result for pre-duals is false.
منابع مشابه
Definability in Substructure Orderings, II: Finite Ordered Sets
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We prove among other things that for every finite poset P , the set {p, p} is definable, where p and p are the isomorphism types of P and its dual poset. We prove that the only non-identity automorphism of P is the duality ...
متن کاملOn Definability in Multimodal Logic
Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, r...
متن کاملExponential membership function and duality gaps for I-fuzzy linear programming problems
Fuzziness is ever presented in real life decision making problems. In this paper, we adapt the pessimistic approach tostudy a pair of linear primal-dual problem under intuitionistic fuzzy (I-fuzzy) environment and prove certain dualityresults. We generate the duality results using exponential membership and non-membership functions to represent thedecision maker’s satisfaction and dissatisfacti...
متن کاملDuality for the class of a multiobjective problem with support functions under $K$-$G_f$-invexity assumptions
In this article, we formulate two dual models Wolfe and Mond-Weir related to symmetric nondifferentiable multiobjective programming problems. Furthermore, weak, strong and converse duality results are established under $K$-$G_f$-invexity assumptions. Nontrivial examples have also been depicted to illustrate the theorems obtained in the paper. Results established in this paper unify...
متن کاملOn Definability in Multimodal Logic II. Defining Knowledge in Terms of Belief∗
The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last fifty years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is equivalent to the combination of implicit def...
متن کامل